Second order optimality conditions for bang – bang control problems
نویسندگان
چکیده
Second order necessary and sufficient optimality conditions for bang–bang control problems have been studied in Milyutin, Osmolovskii (1998). These conditions amount to testing the positive (semi–)definiteness of a quadratic form on a critical cone. The assumptions are appropriate for numerical verification only in some special cases. In this paper, we study various transformations of the quadratic form and the critical cone which will be tailored to different types of control problems in practice. In particular, by means of a solution to a linear matrix differential equation, the quadratic form can be converted to perfect squares. We demonstrate by three practical examples that the conditions obtained can be verified numerically.
منابع مشابه
Equivalence of second order optimality conditions for bang – bang control problems
Second order optimality conditions have been derived in the literature in two different forms. Osmolovskii (1988a, 1995, 2000, 2004) obtained second order necessary and sufficient conditions requiring that a certain quadratic form be positive (semi)-definite on a critical cone. Agrachev, Stefani, Zezza (2002) first reduced the bang-bang control problem to finite-dimensional optimization and the...
متن کاملSecond Order Conditions for L 2 Local Optimality in PDE Control
In the second order analysis of infinite dimension optimization problems, we have to deal with the so-called two-norm discrepancy. As a consequence of this fact, the second order optimality conditions usually imply local optimality in the L∞ sense. However, we have observed that the L local optimality can be proved for many control problems of partial differential equations. This can be deduced...
متن کاملSufficient Second-Order Conditions for Bang-Bang Control Problems
We provide sufficient optimality conditions for optimal control problems with bang-bang controls. Building on a structural assumption on the adjoint state, we additionally need a weak second-order condition. This second-order condition is formulated with functions from an extended critical cone, and it is equivalent to a formulation posed on measures supported on the set where the adjoint state...
متن کاملSecond Order Optimality Conditions for Controls with Continuous and Bang-Bang Components
Second order necessary and sufficient optimality conditions for bang-bang control problems in a very general form have been obtained in Milyutin and Osmolovskii (1998). These conditions require the positive (semi)-definiteness of a certain quadratic form on the finite-dimensional critical cone. Using a suitable transformation via a linear matrix ODE, Maurer and Osmolovskii (2003, 2004) have dev...
متن کاملSecond Order Sufficient Optimality Conditions for a Control Problem with Continuous and Bang-Bang Control Components: Riccati Approach
Second order sufficient optimality conditions for bang-bang control problems in a very general form have been obtained in [15, 21, 13, 12, 1]. These conditions require the positive definiteness (coercivity) of an associated quadratic form on the finite-dimensional critical cone. In the present paper, we investigate similar conditions for optimal control problems with a control variable having t...
متن کامل